high order predicate calculus
高阶述词演算
热门查询
- countries 国家（country的复数）
- illustrate vi. 举例 vt. 阐明，举例说明；图解
- nonfiction n. 非小说的散文文学
- nudity n. 裸露；裸体像
- doneness n. （肉的）煮熟度
- lioness n. 母狮子；雌狮
- absolutely adv. 绝对地；完全地
- intermountain 位于山间的
- subtlety n. 微妙；敏锐；精明
- bottlenose n. 宽吻海豚
- Wilton n. 威尔顿机织绒头地毯
- fay n. 小仙女；妖精 n. (Fay)人名；(德、西、葡)法伊；(英、法)费伊 vt. 接合 vi. 接合
- leitmotiv n. 中心思想，主旨
- calcify vt. 使钙化；使思想僵化 vi. 钙化；变成石灰质
- apologia n. 辩解书；辩解文；辩解
- subspace n. 子空间
- sodding adj. （用以加强语气）见鬼的；他妈的 v. 诅咒；给…铺草皮（sod的ing形式）
- appreciator n. 鉴赏者；了解真价者
- RM abbr. 英国皇家海军陆战队（Royal Marines）
- bipartisan adj. 两党连立的；代表两党的
考试词汇表
- doctor kiss coater
- doctor of medicine
- doctor of podiatry
- doctor-recommended
- doctoral candidate
- doctors and nurses
- doctors of science
- doctrinal theology
- doctrine and dogma
- doctrine of laches
- doctrine of stages
- doctrine of waiver
- docuemnt retrieval
- document alignmemt
- document alignment
- document component
- document copy film
- document data base
- document data type
- document file icon
